Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
91	MeCC: Memory Comparison-based Clone Detector∗ Heejung Kim† , Yungbum Jung† , Sunghun Kim§ , Kwangkeun Yi† † Seoul National University, Seoul, Korea {hjkim,dreameye,kwang}@ropas.snu.ac.kr Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-06-14 09:36:59 Cross-platform software Data types Plagiarism Plagiarism detection C Type system Memory Abstract syntax tree Semantics Computing Software engineering Software
92	slide 1 gaius Stacks the behaviour of stack methods are to: Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:45 Computing Subroutines Mathematics Abstract data type Stack-oriented programming language Stack Software engineering Algebraic stack
93	. Best Practices Steve McConnell Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:14:34 C Cross-platform software Abstract data type Abstraction Eiffel MUMPS syntax Software engineering Computing Computer programming
94	mxQueue Fast Queue Data-Type for Python Veersion Add to Reading List Source URL: www.egenix.com Language: English - Date: 2014-07-11 03:51:17 Computer programming Python Queue Message-oriented middleware Scheduling algorithms Priority queue IBM WebSphere MQ Software engineering Computing Abstract data types
95	On Understanding Data Abstraction, Revisited William R. Cook University of Texas at Austin [removed] Abstract Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-04-07 18:47:44 Data types Object-oriented programming Type theory Abstract data types Programming paradigms Type system Abstraction Set Abstract type Software engineering Computing Computer programming
96	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory
97	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
98	Part III Application Structure 401 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Data types Type theory Source code Holism Type system OCaml Abstract data type Caml Software engineering Computer programming Computing
99	A Simple Proof Technique for Certain Parametricity Results Karl Crary Carnegie Mellon University Abstract Many properties of parametric, polymorphic functions Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-02 15:12:25 Computing Parametricity Stack Polymorphism Unit type Type theory Software engineering Data types
100	Alias Types for Recursive Data Structures ∗ David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:54:02 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing

UPDATE